Day convolution
table:_
functor
アプリカティブ
monad
profunctor ? arrow
Data.Functor.Day
/haskell-shoen/Applicative#5c94e8f49a6bf5000014968c
https://ncatlab.org/nlab/show/Day+convolution
https://en.wikipedia.org/wiki/Day_convolution
https://arxiv.org/abs/1308.4940
https://arxiv.org/abs/2207.00852
自己関手の圏において、
モナドは"関手の合成"によるモノイド対象であり
Applicativeは"Day convolution"によるモノイド対象。
同様にProfunctorの圏においてArrowは"合成"によるモノイド対象であるが、この論文では"Day~"によるモノイド対象に新たに焦点を当てて研究している
ref
https://viercc.github.io/blog/posts/2020-08-07-monoid.html